limit proofs